ABC357E - Reachability in Functional Graph